binary relation symbol造句

For example, consider the language with one binary relation symbol'< '.
According to the previous lemma, we can in fact use finitely many binary relation symbols.
Adding a single binary relation symbol to monadic logic, however, results in an undecidable logic.
The binary function symbol + is interpreted by addition, the constant symbol 0 by the additive identity, and the binary relation symbol < by the relation less than.
For example, in the language of rings, there are constant symbols 0 and 1, two binary function symbols + and ? and no binary relation symbols . ( Here the equality relation is taken as a logical constant .)
It's difficult to find binary relation symbol in a sentence. 用binary relation symbol造句挺难的